$\forall$$r$:CRng. IsIntegDom($r$) $\in$ $\mathbb{P}$